/allinsn.d/1.2/Wed Sep  8 17:50:22 1999//
/allinsn.exp/1.1.1.1/Wed Sep  8 17:50:22 1999//
/allinsn.s/1.1.1.1/Wed Sep  8 17:50:22 1999//
D
